Research Statement Varsha Dani March 2011 My primary interest is in the applicability of probabilistic methods and ideas to a wide range of problems in theoretical computer science. My main research focus until 2008 was

Source URL: people.cs.uchicago.edu

Robert Fraser Teaching Statement Teaching Philosophy As a computer science teacher, I believe that students should develop a strong theoretical foundation, see the value of what is being taught, and learn to embrace opp

Source URL: www.cs.umanitoba.ca

The Gödel Prize 2013 Call for Nominations Deadline: January 11, 2013. The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical

Source URL: eatcs.org

ITI Series (IUUK) Institut Teoretické Informatiky Institute for Theoretical Computer Science

Source URL: iti.mff.cuni.cz

On the Complexity of Abstract Categorial Grammars In this abstract we investigate the respective complexities of the membership and the universal membership problems for Abstract Categorial Grammars [dG01]. This problem

Source URL: wwwhomes.uni-bielefeld.de

• Logic in computer science
• Theoretical computer science
• Mathematics
• Constructible universe
• Mathematical logic
• CurryHoward correspondence
• Table of stars with Bayer designations
• Generalised Whitehead product

Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1

Source URL: www.cs.princeton.edu

• Theoretical computer science
• Logic in computer science
• Logic
• Mathematical logic
• Edsger W. Dijkstra
• Formal methods
• Separation logic
• Substructural logic
• Concurrent computing
• Modal logic
• Semantics
• Parallel computing

A note on contracting claw-free graphs? Jiˇr´ı Fiala1 , Marcin Kami´nski2 , and Dani¨el Paulusma3 1 Charles University, Faculty of Mathematics and Physics, DIMATIA and Institute for Theoretical Computer Science (ITI

Source URL: iti.mff.cuni.cz

Volume 5, Issue 23 ■ 5JUNE2015

Source URL: www.defenseinnovationmarketplace.mil

• Emerging technologies
• Physics
• Quantum mechanics
• Theoretical computer science
• Quantum computing
• Graphene
• Potential applications of graphene
• Photonics
• Quantum information
• Materials science
• 5 nanometer
• Nanotechnology

Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Java Modeling Language
• Postcondition
• Extended static checking
• Predicate transformer semantics
• ESC/Java
• Precondition
• KeY

Theoretical Computer Science ELSEVIER Theoretical

Source URL: www.users.waitrose.com